Lehmer のアルゴリズム - 西尾泰和の外部脳